逻辑类型理论theory: n. 1.理论,学理,原理。 2.学说,论说 (opp. ...logical: adj. 1.逻辑的,逻辑上的;逻辑学上的。 2.合乎逻 ...type: n. 1.型,类型,(工业产品的)品种;风格,型式。 2 ...theory of types: 类型论logical theory: 逻辑理论下载手机词典可随时随地查词查翻译